Skip to content

removing unnecessary code#542

Merged
anonrig merged 1 commit intomainfrom
remove_unnecessary_dll_variable
Oct 20, 2023
Merged

removing unnecessary code#542
anonrig merged 1 commit intomainfrom
remove_unnecessary_dll_variable

Conversation

@lemire
Copy link
Copy Markdown
Member

@lemire lemire commented Oct 20, 2023

No description provided.

@lemire lemire requested a review from anonrig October 20, 2023 15:08
@anonrig anonrig merged commit 45fd44d into main Oct 20, 2023
@anonrig anonrig deleted the remove_unnecessary_dll_variable branch October 20, 2023 15:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants